home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / glass / glass.lha / GLASS / contsens / testskin < prev    next >
Text File  |  1991-02-14  |  15KB  |  391 lines
  1. ||-----------------------------------------------------------  
  2. || Name:    Macro Expander.                                  ||
  3. || Version: 2  GLAMMAR (Feb 13, 1991)                        ||
  4. || Author:  Eric Voss                                        ||
  5. || Address: KUN NIJMEGEN Informatica II A3017 tel: (61)2306. ||
  6. || E-mail:  ericv@cs.kun.nl                                  ||
  7. ||-----------------------------------------------------------  
  8.  
  9.  
  10.   [
  11.       (DefBasetype ( "",  5 )  "B"),
  12.       (DefAtom ( "",  7 )  "jkff"
  13.         []
  14.         (TypUni
  15.           (TypProd
  16.             [
  17.                 (TypBase "B"),
  18.                 (TypBase "B")
  19.             ])
  20.           (TypProd
  21.             [
  22.                 (TypBase "B"),
  23.                 (TypBase "B")
  24.             ]))),
  25.       (DefAtom ( "",  8 )  "and"
  26.         []
  27.         (TypUni
  28.           (TypProd
  29.             [
  30.                 (TypBase "B"),
  31.                 (TypBase "B")
  32.             ])
  33.           (TypBase "B"))),
  34.       (DefAtom ( "",  9 )  "or"
  35.         []
  36.         (TypUni
  37.           (TypProd
  38.             [
  39.                 (TypBase "B"),
  40.                 (TypBase "B")
  41.             ])
  42.           (TypBase "B"))),
  43.       (DefAtom ( "",  10 )  "buf"
  44.         []
  45.         (TypUni
  46.           (TypBase "B")
  47.           (TypBase "B"))),
  48.       (DefAtom ( "",  11 )  "nand"
  49.         []
  50.         (TypUni
  51.           (TypProd
  52.             [
  53.                 (TypBase "B"),
  54.                 (TypBase "B")
  55.             ])
  56.           (TypBase "B"))),
  57.       (DefVal ( "",  14 )  "counterstage"
  58.         (TypUni
  59.           (TypProd
  60.             [
  61.                 (TypBase "B"),
  62.                 (TypBase "B"),
  63.                 (TypBase "B"),
  64.                 (TypBase "B")
  65.             ])
  66.           (TypProd
  67.             [
  68.                 (TypBase "B"),
  69.                 (TypBase "B")
  70.             ]))
  71.         (VLambda
  72.           (FCList
  73.             [
  74.                 (FCSym "d_17"),
  75.                 (FCSym "preset_18"),
  76.                 (FCSym "toggle_19"),
  77.                 (FCSym "nclr_20")
  78.             ])
  79.           (VWhere
  80.             [
  81.                 (DefCon ( "",  18 ) 
  82.                   (VSym ( "",  18 )  "ja_21")
  83.                   (VAtom ( "",  18 )  "nand"
  84.                     []
  85.                     (VList
  86.                       [
  87.                           (VSym ( "",  18 )  "ka_22"),
  88.                           (VSym ( "",  18 )  "preset_18")
  89.                       ]))),
  90.                 (DefCon ( "",  19 ) 
  91.                   (VSym ( "",  19 )  "ka_22")
  92.                   (VAtom ( "",  19 )  "nand"
  93.                     []
  94.                     (VList
  95.                       [
  96.                           (VSym ( "",  19 )  "d_17"),
  97.                           (VSym ( "",  19 )  "nclr_20")
  98.                       ]))),
  99.                 (DefCon ( "",  20 ) 
  100.                   (VSym ( "",  20 )  "ea_23")
  101.                   (VAtom ( "",  20 )  "or"
  102.                     []
  103.                     (VList
  104.                       [
  105.                           (VSym ( "",  20 )  "toggle_19"),
  106.                           (VSym ( "",  20 )  "preset_18")
  107.                       ])))
  108.             ]
  109.             (VAtom ( "",  16 )  "jkff"
  110.               []
  111.               (VList
  112.                 [
  113.                     (VAtom ( "",  16 )  "and"
  114.                       []
  115.                       (VList
  116.                         [
  117.                             (VSym ( "",  16 )  "ja_21"),
  118.                             (VSym ( "",  16 )  "ea_23")
  119.                         ])),
  120.                     (VAtom ( "",  16 )  "and"
  121.                       []
  122.                       (VList
  123.                         [
  124.                             (VSym ( "",  16 )  "ka_22"),
  125.                             (VSym ( "",  16 )  "ea_23")
  126.                         ]))
  127.                 ]))))),
  128.       (DefVal ( "",  28 )  "countr"
  129.         (TypUni
  130.           (TypProd
  131.             [
  132.                 (TypProd
  133.                   [
  134.                       (TypBase "B"),
  135.                       (TypBase "B"),
  136.                       (TypBase "B"),
  137.                       (TypBase "B")
  138.                   ]),
  139.                 (TypBase "B"),
  140.                 (TypBase "B"),
  141.                 (TypBase "B"),
  142.                 (TypBase "B")
  143.             ])
  144.           (TypProd
  145.             [
  146.                 (TypBase "B"),
  147.                 (TypProd
  148.                   [
  149.                       (TypBase "B"),
  150.                       (TypBase "B"),
  151.                       (TypBase "B"),
  152.                       (TypBase "B")
  153.                   ])
  154.             ]))
  155.         (VLambda
  156.           (FCList
  157.             [
  158.                 (FCList
  159.                   [
  160.                       (FCSym "d3_51"),
  161.                       (FCSym "d2_52"),
  162.                       (FCSym "d1_53"),
  163.                       (FCSym "d0_54")
  164.                   ]),
  165.                 (FCSym "nload_55"),
  166.                 (FCSym "nclear_56"),
  167.                 (FCSym "enap_57"),
  168.                 (FCSym "enat_58")
  169.             ])
  170.           (VWhere
  171.             [
  172.                 (DefCon ( "",  32 ) 
  173.                   (VSym ( "",  32 )  "carry_59")
  174.                   (VApply
  175.                     (VLambda(FCComp 
  176.                       (FCSym "x_30_H")
  177.  
  178.                       
  179.                       (FCSym "xr_29_D"))
  180.                       (VAtom ( "",  25 )  "and"
  181.                         []
  182.                         (VList
  183.                           [
  184.                               (VSym ( "local_macroexp_name",  0 )  "x_30_H"),
  185.                               (VApply
  186.                                 (VLambda(FCComp 
  187.                                   (FCSym "x_30_A")
  188.  
  189.                                   
  190.                                   (FCSym "xr_29_B"))
  191.                                   (VAtom ( "",  25 )  "and"
  192.                                     []
  193.                                     (VList
  194.                                       [
  195.                                           (VSym ( "local_macroexp_name",  0 )  "x_30_A"),
  196.                                           (VApply
  197.                                             (VLambda(FCComp 
  198.                                               (FCSym "x_30_k")
  199.  
  200.                                               
  201.                                               (FCSym "xr_29_b"))
  202.                                               (VAtom ( "",  25 )  "and"
  203.                                                 []
  204.                                                 (VList
  205.                                                   [
  206.                                                       (VSym ( "local_macroexp_name",  0 )  "x_30_k"),
  207.                                                       (VApply
  208.                                                         (VLambda
  209.                                                           (FCSym "eta_25_q")
  210.                                                           (VAtom ( "",  24 )  "and"
  211.                                                             []
  212.                                                             (VSym ( "local_macroexp_name",  0 )  "eta_25_q")))
  213.                                                         (VSym ( "local_macroexp_name",  0 )  "xr_29_b"))
  214.                                                   ])))
  215.                                             (VSym ( "local_macroexp_name",  0 )  "xr_29_B"))
  216.                                       ])))
  217.                                 (VSym ( "local_macroexp_name",  0 )  "xr_29_D"))
  218.                           ])))
  219.                     (VList
  220.                       [
  221.                           (VSym ( "",  32 )  "q3_60"),
  222.                           (VSym ( "",  32 )  "q2_61"),
  223.                           (VSym ( "",  32 )  "q1_62"),
  224.                           (VSym ( "",  32 )  "q0_63"),
  225.                           (VSym ( "",  32 )  "enat_58")
  226.                       ]))),
  227.                 (DefCon ( "",  33 ) 
  228.                   (VList
  229.                     [
  230.                         (VSym ( "",  33 )  "q3_60"),
  231.                         (VSym ( "",  33 )  "q3'_64")
  232.                     ])
  233.                   (VApply
  234.                     (VSym ( "",  33 )  "counterstage")
  235.                     (VList
  236.                       [
  237.                           (VSym ( "",  33 )  "d3_51"),
  238.                           (VSym ( "",  33 )  "preset_65"),
  239.                           (VApply
  240.                             (VLambda(FCComp 
  241.                               (FCSym "x_30_u")
  242.  
  243.                               
  244.                               (FCSym "xr_29_R"))
  245.                               (VAtom ( "",  25 )  "and"
  246.                                 []
  247.                                 (VList
  248.                                   [
  249.                                       (VSym ( "local_macroexp_name",  0 )  "x_30_u"),
  250.                                       (VApply
  251.                                         (VLambda(FCComp 
  252.                                           (FCSym "x_30_T")
  253.  
  254.                                           
  255.                                           (FCSym "xr_29_y"))
  256.                                           (VAtom ( "",  25 )  "and"
  257.                                             []
  258.                                             (VList
  259.                                               [
  260.                                                   (VSym ( "local_macroexp_name",  0 )  "x_30_T"),
  261.                                                   (VApply
  262.                                                     (VLambda
  263.                                                       (FCSym "eta_25_a")
  264.                                                       (VAtom ( "",  24 )  "and"
  265.                                                         []
  266.                                                         (VSym ( "local_macroexp_name",  0 )  "eta_25_a")))
  267.                                                     (VSym ( "local_macroexp_name",  0 )  "xr_29_y"))
  268.                                               ])))
  269.                                         (VSym ( "local_macroexp_name",  0 )  "xr_29_R"))
  270.                                   ])))
  271.                             (VList
  272.                               [
  273.                                   (VSym ( "",  33 )  "q2_61"),
  274.                                   (VSym ( "",  33 )  "q1_62"),
  275.                                   (VSym ( "",  33 )  "q0_63"),
  276.                                   (VSym ( "",  33 )  "en_66")
  277.                               ])),
  278.                           (VSym ( "",  33 )  "nclr_67")
  279.                       ]))),
  280.                 (DefCon ( "",  34 ) 
  281.                   (VList
  282.                     [
  283.                         (VSym ( "",  34 )  "q2_61"),
  284.                         (VSym ( "",  34 )  "q2'_68")
  285.                     ])
  286.                   (VApply
  287.                     (VSym ( "",  34 )  "counterstage")
  288.                     (VList
  289.                       [
  290.                           (VSym ( "",  34 )  "d2_52"),
  291.                           (VSym ( "",  34 )  "preset_65"),
  292.                           (VApply
  293.                             (VLambda(FCComp 
  294.                               (FCSym "x_30_C")
  295.  
  296.                               
  297.                               (FCSym "xr_29_w"))
  298.                               (VAtom ( "",  25 )  "and"
  299.                                 []
  300.                                 (VList
  301.                                   [
  302.                                       (VSym ( "local_macroexp_name",  0 )  "x_30_C"),
  303.                                       (VApply
  304.                                         (VLambda
  305.                                           (FCSym "eta_25_c")
  306.                                           (VAtom ( "",  24 )  "and"
  307.                                             []
  308.                                             (VSym ( "local_macroexp_name",  0 )  "eta_25_c")))
  309.                                         (VSym ( "local_macroexp_name",  0 )  "xr_29_w"))
  310.                                   ])))
  311.                             (VList
  312.                               [
  313.                                   (VSym ( "",  34 )  "q1_62"),
  314.                                   (VSym ( "",  34 )  "q0_63"),
  315.                                   (VSym ( "",  34 )  "en_66")
  316.                               ])),
  317.                           (VSym ( "",  34 )  "nclr_67")
  318.                       ]))),
  319.                 (DefCon ( "",  35 ) 
  320.                   (VList
  321.                     [
  322.                         (VSym ( "",  35 )  "q1_62"),
  323.                         (VSym ( "",  35 )  "q1'_69")
  324.                     ])
  325.                   (VApply
  326.                     (VSym ( "",  35 )  "counterstage")
  327.                     (VList
  328.                       [
  329.                           (VSym ( "",  35 )  "d1_53"),
  330.                           (VSym ( "",  35 )  "preset_65"),
  331.                           (VAtom ( "",  35 )  "and"
  332.                             []
  333.                             (VList
  334.                               [
  335.                                   (VSym ( "",  35 )  "q0_63"),
  336.                                   (VSym ( "",  35 )  "en_66")
  337.                               ])),
  338.                           (VSym ( "",  35 )  "nclr_67")
  339.                       ]))),
  340.                 (DefCon ( "",  36 ) 
  341.                   (VList
  342.                     [
  343.                         (VSym ( "",  36 )  "q0_63"),
  344.                         (VSym ( "",  36 )  "q0'_70")
  345.                     ])
  346.                   (VApply
  347.                     (VSym ( "",  36 )  "counterstage")
  348.                     (VList
  349.                       [
  350.                           (VSym ( "",  36 )  "d0_54"),
  351.                           (VSym ( "",  36 )  "preset_65"),
  352.                           (VSym ( "",  36 )  "en_66"),
  353.                           (VSym ( "",  36 )  "nclr_67")
  354.                       ]))),
  355.                 (DefCon ( "",  37 ) 
  356.                   (VSym ( "",  37 )  "preset_65")
  357.                   (VAtom ( "",  37 )  "nand"
  358.                     []
  359.                     (VList
  360.                       [
  361.                           (VSym ( "",  37 )  "nload_55"),
  362.                           (VSym ( "",  37 )  "nclr_67")
  363.                       ]))),
  364.                 (DefCon ( "",  38 ) 
  365.                   (VSym ( "",  38 )  "nclr_67")
  366.                   (VAtom ( "",  38 )  "buf"
  367.                     []
  368.                     (VSym ( "",  38 )  "nclear_56"))),
  369.                 (DefCon ( "",  39 ) 
  370.                   (VSym ( "",  39 )  "en_66")
  371.                   (VAtom ( "",  39 )  "and"
  372.                     []
  373.                     (VList
  374.                       [
  375.                           (VSym ( "",  39 )  "enap_57"),
  376.                           (VSym ( "",  39 )  "enat_58")
  377.                       ])))
  378.             ]
  379.             (VList
  380.               [
  381.                   (VSym ( "",  30 )  "carry_59"),
  382.                   (VList
  383.                     [
  384.                         (VSym ( "",  30 )  "q3_60"),
  385.                         (VSym ( "",  30 )  "q2_61"),
  386.                         (VSym ( "",  30 )  "q1_62"),
  387.                         (VSym ( "",  30 )  "q0_63")
  388.                     ])
  389.               ]))))
  390.   ]
  391.